Certified concurrent abstraction layers
نویسندگان
چکیده
منابع مشابه
Query Terms Abstraction Layers
A problem with traditional information retrieval systems is that they typically retrieve information without an explicitly defined domain of interest to the user. Consequently, the system presents a lot of information that is of little relevance to the user. Ideally, the queries’ real intentions should be exposed and reflected in the way the underlying retrieval machinery can deal with them. In...
متن کاملAbstraction Layers for Scalable
ion Layers for Scalable Microfluidic Biocomputers (Extended Version) William Thies, John Paul Urbanski, Todd Thorsen, and Saman Amarasinghe Abstraction Layers for Scalable Microfluidic Biocomputers (Extended Version∗) William Thies†, John Paul Urbanski§, Todd Thorsen§, and Saman Amarasinghe† †MIT Computer Science and Artificial Intelligence Laboratory §MIT Hatsopoulos Microfluids Laboratory {th...
متن کاملAbstraction for Concurrent Objects
ion for Concurrent Objects Ivana Filipović, Peter O’Hearn, Noam Rinetzky1, Hongseok Yang Queen Mary University of London, UK
متن کاملAbstraction Layers for Scalable Microfluidic
ion Layers for Scalable Microfluidic Biocomputers (Extended Version∗) William Thies†, John Paul Urbanski§, Todd Thorsen§, and Saman Amarasinghe† †MIT Computer Science and Artificial Intelligence Laboratory §MIT Hatsopoulos Microfluids Laboratory {thies, urbanski, thorsen, saman}@mit.edu
متن کاملCompositional Abstraction for Concurrent Programs
We present a methodology for automatically constructing an abstraction of concurrent programs against safety specifications based on finite state machine. And then automatically extract an initial abstract model from source code using predicate abstraction and theorem proving. However, the process of extracting a finite model from a program using predicate abstraction can be exponential in the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2018
ISSN: 0362-1340,1558-1160
DOI: 10.1145/3296979.3192381